{printf ("%dx%d", $2 + $4, $3 + $5); }
